Category:Automated reasoning
| Automated reasoning | |
|---|---|
| Editor: | Become editor of this category |
Top conference series
| Acronym | Title | CORE2017 | Avg. acc. rate |
|---|---|---|---|
| IJCAR | International Joint Conference on Automated Reasoning | A* | 41.3 |
| CADE | International Conference on Automated Deduction | A | 43.6 |
Upcoming conferences
|
|
|
Pages in category "Automated reasoning"
The following 37 pages are in this category, out of 37 total.
